Replace internet link by Info node
authorJeremy Bryant <jb@jeremybryant.net>
Tue, 5 Mar 2024 22:40:57 +0000 (22:40 +0000)
committerJustin Burkett <justin@burkett.cc>
Thu, 7 Mar 2024 17:46:52 +0000 (12:46 -0500)
commitbb9fc431ec2123fc71fe297f7fb396222f5be26e
treeff26be3ac72903c57719aee4d09d12989a2c4044
parentb5b431089a11a51742b09471a2f43d229f5a4fb0
Replace internet link by Info node

* which-key.el (which-key-hide-alt-key-translations):
Replace internet link by Info node.
which-key.el